A novel agent-based simulation framework for sensing in complex adaptive environments

摘要

In this paper we present a novel Formal Agent-Based Simulation framework(FABS). FABS uses formal specification as a means of clear description ofwireless sensor networks (WSN) sensing a Complex Adaptive Environment. Thisspecification model is then used to develop an agent-based model of both thewireless sensor network as well as the environment. As proof of concept, wedemonstrate the application of FABS to a boids model of self-organized flockingof animals monitored by a random deployment of proximity sensors.